differentiable function in complex analysis